Back Logik ALS ስነ አምክንዮ Amharic Lochica AN तर्कशास्त्र ANP منطق Arabic منطق ARZ তৰ্কশাস্ত্ৰ Assamese Lóxica AST Məntiq Azerbaijani منطیق AZB
Logika is 'n vak wat die vorm van argumente in taal ondersoek om vas te stel of hulle geldig, of ten minste aanneemlik, is. Die twee belangrikste soorte logika is proposisionele logika, wat die rol van woordjies soos "nie", "en", "of" en "as" in argumente nagaan, en predikaatlogika, wat die rol van dinge, bewyse hul eienskappe en verhoudings in argumente betrek. Rekenaarwetenskap en kunsmatige intelligensie stimuleer nuwe vertakkings in dié meer as tweeduisend jaar oue wetenskap.